$\forall$${\it es}$:ES, $i$:Id, $a$:Atom1. $i$ $\parallel$ $a$ $\in$ $\mathbb{P}$